5 found
Order:
  1.  31
    Meeting of the association for symbolic logic: San Diego, 1979.Alfred B. Manaster, Thomas H. Payne & David Harrah - 1981 - Journal of Symbolic Logic 46 (1):199-203.
  2.  14
    Concrete computability.Thomas H. Payne - 1975 - Notre Dame Journal of Formal Logic 16 (2):238-244.
  3.  19
    Computability on finite linear configurations.Thomas H. Payne - 1975 - Notre Dame Journal of Formal Logic 16 (3):354-356.
  4.  15
    Effective extendability and fixed points.Thomas H. Payne - 1973 - Notre Dame Journal of Formal Logic 14 (1):123-124.
  5.  14
    General computability.Thomas H. Payne - 1980 - Notre Dame Journal of Formal Logic 21 (2):277-292.